منابع مشابه
Telescopic Mappings in Typed Lambda Calculus
1.1. Lambda calculus is not intended to be just a formal game: it was created with the intent to represent operations with functions in mathematics. This had become necessary ever since the time (in the first half of the 19th century) that mathematicians began to see functions as objects, rather than as constructions in the metalanguage. As we see it today, lambda calculus is indispensable in t...
متن کاملUrbanism as Computation
Successful urban configurations are the result of a complex sequence of implicit computations that transform unorganized input into organized output. Although that is exactly what they do, few urbanists discuss their work in these terms. I propose a fundamental distinction between the principal methods of urban computation. One algorithmic process for urbanism leads to formal planning, which la...
متن کاملthe effect of taftan pozzolan on the compressive strength of concrete in the environmental conditions of oman sea (chabahar port)
cement is an essential ingredient in the concrete buildings. for production of cement considerable amount of fossil fuel and electrical energy is consumed. on the other hand for generating one tone of portland cement, nearly one ton of carbon dioxide is released. it shows that 7 percent of the total released carbon dioxide in the world relates to the cement industry. considering ecological issu...
Osteosynthesis in Osteogenesis Imperfecta, telescopic versus non-telescopic nailing
The paper refers to a pediatric patient suffering from Osteogenesis Imperfecta that was diagnosed soon after birth, after suffering from an intrauterine fracture of the femur in the 7th month of pregnancy. The beginning of the presentation contains some general considerations regarding the illness and the treatment done up to the point when the first telescopic rod was used. Following the evolu...
متن کاملromantic education:reading william wordsworths the prelude in the light of the history of ideas
عصر روشنگری زمان شکل گیری ایده های مدرن تربیتی- آموزشی بود اما تاکید بیش از اندازه ی دوشاخه مهم فلسفی زمان یعنی عقل گرایی و حس گرایی بر دقت و وضوح، انسان عصر روشنگری را نسبت به دیگر تواناییهایش نابینا کرده و موجب به وجود آمدن افرادی تک بعدی شد که افتخارعقلانیتشان، تاکید شان بر تجربه فردی، به مبارزه طلبیدن منطق نیاکانشان وافسون زدایی شان از دنیا وتمام آنچه با حواس پنجگانه قابل درک نبوده و یا در ...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: City
سال: 2013
ISSN: 1360-4813,1470-3629
DOI: 10.1080/13604813.2013.812355